Formal languages

Results: 2429



#Item
11Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl15.html Benefits of formal definitions

Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl15.html Benefits of formal definitions

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2015-03-22 13:40:44
    12An executable formal semantics of PHP? Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk Abstract. PHP is among the most used languages f

    An executable formal semantics of PHP? Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk Abstract. PHP is among the most used languages f

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    - Date: 2014-05-13 05:10:37
      13Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

      Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2016-11-26 08:22:59
        14Automata and Formal Languages Lecture notes WSManfred Kufleitner January 28, 2014

        Automata and Formal Languages Lecture notes WSManfred Kufleitner January 28, 2014

        Add to Reading List

        Source URL: www7.in.tum.de

        - Date: 2014-01-28 07:09:16
          15Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

          Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2014-03-24 02:48:08
            16Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Formal Syntax and Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-04-12 10:45:56
              17R. Carnap – Meaning and Synonymy in Natural Languages Philosophical Analysis – Giuliano Torrengo November 24, 2014 Meaning Analysis • Natural Languages (“pragmatics”) and Formal Languages (“pure

              R. Carnap – Meaning and Synonymy in Natural Languages Philosophical Analysis – Giuliano Torrengo November 24, 2014 Meaning Analysis • Natural Languages (“pragmatics”) and Formal Languages (“pure

              Add to Reading List

              Source URL: dl.dropboxusercontent.com

                18Isolation problem for Web Mashups Formal definition of Capability Safe languages Solving the Isolation problem using Capabilit Object Capabilities and Isolation of Untrusted Web Applications Ankur Taly Dept. of Computer

                Isolation problem for Web Mashups Formal definition of Capability Safe languages Solving the Isolation problem using Capabilit Object Capabilities and Isolation of Untrusted Web Applications Ankur Taly Dept. of Computer

                Add to Reading List

                Source URL: oakland31.cs.virginia.edu

                - Date: 2010-05-19 18:16:06
                  19Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                  Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                  Add to Reading List

                  Source URL: models2014.webs.upv.es

                  - Date: 2014-10-29 20:38:03
                    20TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

                    TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

                    Add to Reading List

                    Source URL: www-verimag.imag.fr

                    Language: English - Date: 2012-12-31 04:25:31